Ingrese una palabra o frase en cualquier idioma 👆
Idioma:
Traducción y análisis de palabras por inteligencia artificial ChatGPT
En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:
- cómo se usa la palabra
- frecuencia de uso
- se utiliza con más frecuencia en el habla oral o escrita
- opciones de traducción
- ejemplos de uso (varias frases con traducción)
- etimología
Qué (quién) es Álgebra de Heyting - definición
C*-álgebra
En matemáticas, especialmente en análisis funcional, una C*-álgebra (pronunciado "C estrella álgebra") es un álgebra de Banach con una involución satisfaciendo propiedades similares a las de los operadores adjuntos. Un caso particular es el de un álgebra compleja A de operadores lineales continuos sobre un espacio de Hilbert \mathcal{H} junto a dos propiedades adicionales:
Aritmética de Heyting
En lógica matemática, se denomina aritmética de Heyting a la axiomatización de la aritmética siguiendo los lineamientos de la escuela intuicionista. El nombre proviene de Arend Heyting, quien fue el primero en proponerla.
Álgebra multilineal
En la matemática, el álgebra multilineal es un área de estudio que generaliza los métodos del álgebra lineal. Los objetos de estudio son los productos tensoriales de espacios vectoriales y las transformaciones multi-lineales entre los espacios.
Wikipedia
Álgebra de Heyting
En matemáticas, las álgebras de Heyting, creadas por Arend Heyting, son conjuntos parcialmente ordenados especiales que generalizan álgebras de Boole. Las álgebras de Heyting se presentan como modelos de la lógica intuicionista, una lógica en la cual la ley del tercero excluido no es válido. Las álgebras completas de Heyting son un objeto central de estudio en topología sin puntos.
